automated reasoning tool
[网络] 自动推理工具
热门查询
- histiocyte n. 组织细胞
- knitting n. 针织；编织物；[外科] 骨愈合 v. 编织；皱眉（knit的ing形式）
- fairway n. 航路；水上飞机升降用的水面跑道；（高尔夫球场上的）平坦球道
- proverbially adv. 人尽皆知地
- Grenfell n. (Grenfell)人名；(英)格伦费尔
- drench n. 滂沱大雨；浸液 vt. 使湿透；给（牲畜）灌药
- improviser n. 即兴诗人；即席演奏者；即兴创作者
- spectrometer n. [光] 分光仪
- charwoman n. 按日雇用的女佣；打杂的女佣人
- twat n. 笨蛋；阴门；娘们儿
- trumpet n. 喇叭；喇叭声 vt. 吹喇叭；吹嘘 vi. 吹喇叭；发出喇叭般的声音
- plucked [纺] 粗细不匀
- customized n. 自定义；客制化；自定义级别 v. 定制；按特别订货生产（customize的过去式和过去分词） adj. 定制的；用户化的
- in common un. 和…有相通之处；公有 [网络] 共同；共有的；共同的
- Stalingrad 斯大林格勒(现称伏尔加格勒)
- reposition n. 复位；贮藏；放回 vt. 使复位；改变…的位置；使变换阵地
- corning n. 细粒透镜 n. (Corning)人名；(英)科宁 v. 使成粒状（corn的ing形式）
- plantsman n. 苗圃工，花圃工，园丁；花卉栽培者
- illiquidity n. [金融] 非流动性；非现金的；不能立即付现
- overpowering adj. 压倒性的；无法抵抗的
考试词汇表
- restrictive labor practice
- restrictive sight distance
- restrictive trade practice
- resulphurized carbon steel
- result of the current term
- result operand reservation
- result output logical unit
- resultant action potential
- resultant cutting movement
- resultant cutting pressure
- resultant force cofficient
- resultant of two functions
- resultant unbalance moment
- resumption of one's duties
- resurvey of cadastral maps
- resuscitating qi in spring
- resuscitation of the heart
- retail gravitational model
- retail information service
- retail method of inventory
